Nuprl Definition : so_apply5 12,41
x(s1,s2,s3,s4,s5) == x(s1,s2,s3,s4,s5) 
latex

Definitionsf(a)

origin